2. Advanced mathematical & computational tools in metrology VII /
پدیدآورنده : editors, P. Ciarlini [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
رده :
QA465
.
A273
2006eb
3. Advanced mathematical & computational tools in metrology & testing VIII
پدیدآورنده : editors, F. Pavese [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Measurement -- Congresses.,Metrology -- Congresses.,Physical measurements -- Congresses.
4. Advances in sport science and computer science
پدیدآورنده : editor, Mark Zhou, Hong Kong Education Society, Hong Kong.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Sports -- Data processing -- Congresses.,Sports sciences -- Congresses.
رده :
GV713
.
E358
2014
5. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده : edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
6. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
7. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
8. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
10. Cloud computing -- CLOUD 2019 :
پدیدآورنده : Dilma Da Silva, Qingyang Wang, Liang-Jie Zhang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing, Congresses.,Data protection, Congresses.,Software engineering, Congresses.,Cloud computing.,Data protection.,Software engineering.
رده :
QA76
.
585
11. Collaborative computing :
پدیدآورنده : Honghao Gao, Xinheng Wang, Yuyu Yin, Muddesar Iqbal (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Multimedia systems, Congresses.,Online social networks, Congresses.,Computer networks.,Electronic data processing-- Distributed processing.,Multimedia systems.,Online social networks.
رده :
TK5105
.
5
12. Computer and Computing Technologies in Agriculture IV
پدیدآورنده : edited by Daoliang Li, Yande Liu, Yingyi Chen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Agricultural engineering-- Data processing, Congresses.,Agriculture-- Data processing, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,Computer simulation.,Computers, Special purpose.,Food industry and trade-- Data processing, Congresses.,Software engineering.,Artificial Intelligence (incl. Robotics),Computer Communication Networks.,Computer Science.,Information Systems Applications (incl. Internet),Simulation and Modeling.,Software Engineering.,Special Purpose and Application-Based Systems.,Agricultural engineering-- Data processing.,Agriculture-- Data processing.,Artificial intelligence.,Computer networks.,Computer science.,Computer simulation.,Computers, Special purpose.,Food industry and trade-- Data processing.,Software engineering.
رده :
Q334-342
13. Computer performance engineering :
پدیدآورنده : Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2013
14. Computer supported education :
پدیدآورنده : Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
15. Current trends in web engineering :
پدیدآورنده : Cesare Pautasso, Fernando Sánchez-Figueroa, Kari Systä, Juan Manuel Murillo Rodríguez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
16. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
17. Digital human modeling and applications in health, safety, ergonomics and risk management :
پدیدآورنده : Vincent G. Duffy (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Digital computer simulation, Congresses.,Environmental risk assessment-- Data processing, Congresses.,Human engineering-- Data processing, Congresses.,Human mechanics-- Computer simulation, Congresses.,Human-machine systems-- Computer simulation, Congresses.,Medical care-- Data processing, Congresses.,Digital computer simulation.,Environmental risk assessment-- Data processing.,Human engineering-- Data processing.,Human mechanics-- Computer simulation.,Human-machine systems-- Computer simulation.,Medical care-- Data processing.
رده :
QA76
.
9
.
H85
18. Emerging technologies for authorization and authentication :
پدیدآورنده : Andrea Saracino, Paolo Mori (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Access control, Congresses.,Computer security, Congresses.,Computer science.,Computer security.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data protection.,Information retrieval.,Information technology: general issues.,Network hardware.,Pattern recognition.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
19. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
پدیدآورنده : Alexandre Petrenko, Andreas Ulrich )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
2931
20. Formal aspects of component software :
پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
